home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test30.gl < prev    next >
Text File  |  1991-06-18  |  283b  |  18 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    not :- E => E,
  5.    and :- E & E => E,
  6.    and3 :- E & E & E => E,
  7.    tff :- E & E => E;
  8.  
  9. Def
  10.    ctr :- E & E => E & E & E;
  11.    ctr [ck,in] = [q0, q1, q2]
  12.     where
  13.        q0 = tff [ck, in];
  14.        q1 = tff [ck, and [q0, in]];
  15.        q2 = tff [ck, and3 [q0,q1,in]];
  16.     endwhere;
  17.  
  18.